Abstracting Common Business Rules to Petri Nets
نویسندگان
چکیده
ing Common Business Rules to Petri
منابع مشابه
Assigning Ontological Meaning to Workflow Nets
A common way to represent organizational domains is the use of business process models. A Workflow-net (WF-net) is an application of Petri Nets (with additional rules) that model business process behavior. However, the use of WF-nets to model business processes has some shortcomings. In particular, no rules exist beyond the general constraints of WF-nets to guide the mapping of an actual proces...
متن کاملOn-the-Fly Auditing of Business Processes
Information systems supporting business processes are usually very complex. If we have to ensure that certain business rules are enforced in a business process, it is often easier to design a separate system, called a monitor, that collects the events of the business processes and verifies whether the rules are satisfied or not. This requires a business rule language (BRL) that allows to verify...
متن کاملSoundness-preserving reduction rules for reset workflow nets
The application of reduction rules to any Petri net may assist in its analysis as its reduced version may be significantly smaller while still retaining the original net’s essential properties. Reset nets extend Petri nets with the concept of a reset arc, allowing one to remove all tokens from a certain place. Such nets have a natural application in business process modelling where possible can...
متن کاملExtension of Petri Nets by Aspects to Apply the Model Driven Architecture Approach
Within MDA models are usually created in the UML. However, one may prefer to use different notations such as Petri-nets, for example, for modelling concurrency and synchronization properties of systems. This paper claims that techniques that are adopted within the context of MDA can also be beneficial in modelling systems by using notations other than the UML. Petri-Nets are widely used for mod...
متن کاملEnterprise Information Systems 2010 Enterprise Information Systems 2010
ing Common Business Rules to Petri Nets ............................ 111 Kees van Hee, Jan Hidders, Geert-Jan Houben, Jan Paredaens, and Philippe Thiran Towards Robust Conformance Checking ........................................... 113 Arya Adriansyah, Boudewijn van Dongen, and Wil van der Aalst 5th SIKS/BENAIS Conference on Enterprise Information Systems
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009